How to Represent a Visual Speciication?
نویسندگان
چکیده
We consider the representation of a visual speciication within a highly integrated environment which provides specialized support for the associated visual language. We state that such an environment needs to represent a visual speciication at four levels in order to perform its tasks: (1) the physical layout, (2) the pictorial structure, (3) the abstract structure , and (4) the representation of the meaning. Furthermore, we will show how graph grammars, constraint solving, and attribute evaluation can be used to keep the representations up-to-date with each other. It will turn out that deening the structure at diierent levels and deening the visual syntax are in fact two names for the same thing.
منابع مشابه
Gcsr: a Graphical Language with Algebraic Semantics for the Speciication of Real-time Systems
Graphical Communicating Shared Resources, GCSR, is a formal language for specifying real-time systems including their functional and resource requirements. A GCSR speciication consists of a set of nodes that are connected with directed, labeled edges, which describe possible execution ows. Nodes represent instantaneous selection among execution ows, or time and resource consuming system activit...
متن کاملHybrid Systems { From HyCharts to Hybrid Data - Flow Graphs { 1
In this paper, a translation of the visual description technique HyCharts to Hybrid Data-Flow Graphs (HDFG) is given. While HyCharts combine a data-ow and a control-ow oriented formalism for the speciication of the architecture and the behavior of hybrid systems, HDFG allow the eecient and homogeneous internal representation of hybrid systems in computers and their automatic manipulation. HDFG ...
متن کاملVisual Language for Behavioral Specifications of Reactive Systems
Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal methods for behavior speciication of rea...
متن کاملTowards a Visual Programming Environment Generator for Algebraic Specifications
In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally speciied languages. This paper discusses speciicati...
متن کاملReceptive Field Encoding Model for Dynamic Natural Vision
Introduction: Encoding models are used to predict human brain activity in response to sensory stimuli. The purpose of these models is to explain how sensory information represent in the brain. Convolutional neural networks trained by images are capable of encoding magnetic resonance imaging data of humans viewing natural images. Considering the hemodynamic response function, these networks are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996